منابع مشابه
Dynamic Separation for Transactional Memory
Implementations of language constructs over transactional memory have typically provided unexpected semantics, required the re-compilation of non-transacted code, or assumed new hardware. We introduce an alternative approach founded on a contract between the programmer and the language implementation in which strong semantics are provided to programs that are “correctly synchronized” in their u...
متن کاملDynamic Identification of Shared Transactional Locations
Hardware TM systems execute user code within an atomic{} delimiter without any instrumentation. Software transactional memory systems require complex sequences of operations to be executed on the memory locations shared by transactions, but typically not on unshared locations, even if these are accessed within the scope of a transaction. Lack of identification of such instructions introduces a ...
متن کاملDynamic Transactional Workflows in Service-oriented Environments
Transactions in service-oriented environments, such as those provided by Web Services, traditionally support a reduced set of the ACID properties. This has typically required providers to constantly offer a fixed level of transaction support for each client request to a service. Further, clients have been limited in their ability to combine services with different transactional guarantees into ...
متن کاملTransactional Runtime Extensions for Dynamic Language Performance
We propose exposing best-effort atomic execution, as provided by a simple hardware transactional memory (HTM), in a managed runtime’s bytecode interface. Dynamic language implementations built on such a runtime can generate more efficient, code, using speculation to eliminate the overhead and obstructions to optimization incurred by code needed to preserve rarely used language semantics. In thi...
متن کاملStatic and Dynamic Adaptation of Transactional Consistency
Consistency criteria adopted for the management of persistent replicated objects in a distributed system de ne the degree of concurrency allowed among operations accessing objects Several notions of consistency are known from the literature among them are causal con sistency causal serializability and serializability In this paper we propose a generalizing algorithm for con currency control in ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Concurrency and Computation: Practice and Experience
سال: 2020
ISSN: 1532-0626,1532-0634
DOI: 10.1002/cpe.5732